Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic
نویسندگان
چکیده
منابع مشابه
Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic
This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of ref...
متن کاملPredicativity , the Russell - Myhill Paradox , and
1 Introduction ✤ Just as there is the Russell paradox about sets, so there is the Russell-Myhill paradox of propositions. ✤ While predicativity has been well-explored as a response to the Russell paradox of sets, there seems to have been no previous attempt to set out a predicative solution to the Russell-Myhill paradox of propositions. ✤ The aim of this talk is to do that, within the framework...
متن کاملLiar Paradox and Substitution into Intensional Contexts
John Barker, in two recent essays, raises a variety of intriguing criticisms to challenge my interpretation of the liar paradox and the type of solution I propose in ‘Denying the Liar’ and ‘Denying the Liar Reaffirmed.’ Barker continues to believe that I have misunderstood the logical structure of the liar sentence and its expression, and that as a result my solution misfires. I shall try to sh...
متن کاملFirst-order intensional logic
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been invo...
متن کاملAn Intensional Schrödinger Logic
We investigate the higher-order modal logic SωI , which is a variant of the system Sω presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2015
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-015-9375-5